Dynami Input / Output Automata :

Dynami Input / Output Automata : a FormalModel for Dynami Systems ( Extended Abstra t )

Qualitative Modeling Using Dynamic Fuzzy

Klaus S hmid and Volker Krebs Universität Karlsruhe (TH), Institut für Regelungsund Steuerungssysteme Kaiserstr. 12, D-76131 Karlsruhe, Germany e-mail: {s hmid, krebs} irs.ete .uni-karlsruhe.de Abstra t. A dynami fuzzy system is a mapping of fuzzy input values onto a fuzzy output value with a feedba k to the input. In this paper, we present a new rule-based inferen e method that an be used in d...

DISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA

In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...

A Proof of the Kahn Principle for Input/Output Automata

We use input/output automata to de ne a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through unidirectional, named ports. A notion of the input/output relation computed by a process is de ned, and determinate processes are de ned to be processes whose input/output relations are single-valued. We show that determinate processes compu...

On Weakly Invertible Semi - input - memory Finite Automata with Delay 2

Semi-input-memory finite automata are a generalization of input-memory finite automata by appending an autonomous finite automaton component. This paper gives a decision criterion of weakly invertible semi-input-memory finite automata with delay 2 of which the minimal output weight of length 2 and the sizes of input and output alphabets are identical. The results are used to generate a kind of ...